Knowledge and Action in Semi-public Environments

نویسندگان

  • Wiebe van der Hoek
  • Petar Iliev
  • Michael Wooldridge
چکیده

We introduce and study the notion of a Public Environment: a system in which a publicly known program is executed in an environment that is partially observable to agents in the system. Although agents do not directly have access to all variables in the system, they may come to know the values of unobserved variables because they know how the program is manipulating these variables. We develop a logic for reasoning about Public Environments, and an axiomatization of the logic.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

شاخص‌های بهداشتی محیط کاری پرستاران، یک مطالعه کیفی

Introduction & Objective: In view of different aspects of work environments, the issues related to it is considered as a principal apprehension. For creating of health work environments that contribute to recruit and retain qualified nurses, their perceptions about the indicators of healthy work environments should be regarded . Thus better comprehension of the characteristics of a quality work...

متن کامل

Urban expansion as a driver of biodiversity loss: Integrating biodiversity in urban planning in African context

Africa has high biodiversity and is rapidly urbanizing. However, there is limited understanding of how urban expansion in Africa is likely to affect its habitats and biodiversity. Little urban ecological research has been done in Africa. This study needs to think ahead as Africa move into the “urban age” it is critical to inform the public on the importance of urban environment...

متن کامل

How Neoliberalism Is Shaping the Supply of Unhealthy Commodities and What This Means for NCD Prevention

Alcohol, tobacco, and unhealthy foods contribute greatly to the global burden of non-communicable disease (NCD). Member states of the World Health Organization (WHO) have recognized the critical need to address these three key risk factors through global action plans and policy recommendations. The 2013-2020 WHO action plan identifies the need to engage economic, agricultural and other relevant...

متن کامل

On Management Matters: Why We Must Improve Public Health Management Through Action; Comment on “Management Matters: A Leverage Point for Health Systems Strengthening in Global Health”

Public health management is a pillar of public health practice. Only through effective management can research, theory, and scientific innovation be translated into successful public health action. With this in mind, the U.S. Centers for Disease Control and Prevention (CDC) has developed an innovative program called Improving Public Health Management for Action (IMPACT) which aims to address th...

متن کامل

From Importer of Knowledge to Researcher of the Self: Exploring the Utility of Collaborative Action Research in Distance Second Language Professional Development

Teacher professional development, as a burgeoning term, has attracted a surge of interest in English language teaching. In second language (L2) professional development, the common orthodoxy has been one which considers teachers as that of knowledge consumers. It is commonly argued that top-down approaches to teachers’ professional development has done little to maximize teachers’ professionali...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011